5

Causal Message Sequence Charts

Year:
2009
Language:
english
File:
PDF, 2.14 MB
english, 2009
9

Quasi-static scheduling of communicating tasks

Year:
2010
Language:
english
File:
PDF, 786 KB
english, 2010
10

Regular set of representatives for time-constrained MSC graphs

Year:
2012
Language:
english
File:
PDF, 232 KB
english, 2012
11

Modular discrete time approximations of distributed hybrid automata

Year:
2012
Language:
english
File:
PDF, 410 KB
english, 2012
13

Compensation by design

Year:
2014
Language:
english
File:
PDF, 1.81 MB
english, 2014
15

Rabin's theorem in the concurrency setting: A conjecture

Year:
2014
Language:
english
File:
PDF, 653 KB
english, 2014
18

IMPROVED ALGORITHMS FOR LOW POWER MULTIPLEXOR DECOMPOSITION

Year:
2005
Language:
english
File:
PDF, 380 KB
english, 2005